For two million years, members of Homo sapiens (and the species from which it emerged) have shaped to their purpose almost everything they found in nature. Yet we are still reproducing by sex. This is a poor method of conceiving human beings, because it surrenders many of the future child’s characteristics to luck. Both parents and children are better off the more parents control their children’s genotypes. The emerging technologies that enable this do not reduce free will and will not (...) eliminate human characteristics (such as certain forms of “mental illness”) that are worth preserving; rather, they will match types of children to parents who can appreciate them. Technological reproduction, not reproduction by sex, should be regarded as truly human. It is the application of the power of thought to human reproduction, and, like the application of that power to external objects and to memes, it will enhance our capacities. (shrink)

We describe and report on results of employing a new method for analyzing lay conceptions of intentional and unintentional action. Instead of asking people for their conceptual intuitions with regard to construed scenarios, we asked our participants to come up with their own scenarios and to explain why these are examples of intentional or unintentional actions. By way of content analysis, we extracted contexts and components that people associated with these action types. Our participants associated unintentional actions predominantly with bad (...) outcomes for all persons involved and linked intentional actions more strongly to positive outcomes, especially concerning the agent. People’s conceptions of intentional action seem to involve more aspects than commonly assumed in philosophical models of intentional action that solely stress the importance of intentions, desires, and beliefs. The additional aspects include decisions and thoughts about the action. In addition, we found that the criteria that participants generated for unintentional actions are not a mere inversion of those used in explanations for intentional actions. Associations between involuntariness and unintentional action seem to be stronger than associations between aspects of voluntariness and intentional action. (shrink)

_Laruelle_ is one of the first books in English to undertake in an extended critical survey of the work of the idiosyncratic French thinker François Laruelle, the promulgator of non-standard philosophy. Laruelle, who was born in 1937, has recently gained widespread recognition, and Alexander R. Galloway suggests that readers may benefit from colliding Laruelle’s concept of the One with its binary counterpart, the Zero, to explore more fully the relationship between philosophy and the digital. In _Laruelle_, Galloway argues that (...) the digital is a philosophical concept and not simply a technical one, employing a detailed analysis of Laruelle to build this case while referencing other thinkers in the French and Continental traditions, including Alain Badiou, Gilles Deleuze, Martin Heidegger, and Immanuel Kant. In order to explain clearly Laruelle’s concepts such as the philosophical decision and the principle of sufficient philosophy, Galloway lays a broad foundation with his discussions of “the One” as it has developed in continental philosophy, the standard model of philosophy, and how philosophers view “the digital.” Digital machines dominate today’s world, while so-called digital thinking—that is, binary thinking such as presence and absence or self and world—is often synonymous with what it means to think at all. In examining Laruelle and digitality together, Galloway shows how Laruelle remains a profoundly non-digital thinker—perhaps the only non-digital thinker today—and engages in an extensive discussion on the interconnections between media, philosophy, and technology. (shrink)

Always connect—that is the imperative of today’s media. But what about those moments when media cease to function properly, when messages go beyond the sender and receiver to become excluded from the world of communication itself—those messages that state: “There will be no more messages”? In this book, Alexander R. Galloway, Eugene Thacker, and McKenzie Wark turn our usual understanding of media and mediation on its head by arguing that these moments reveal the ways the impossibility of communication is (...) integral to communication itself—instances they call excommunication. In three linked essays, _Excommunication_ pursues this elusive topic by looking at mediation in the face of banishment, exclusion, and heresy, and by contemplating the possibilities of communication with the great beyond. First, Galloway proposes an original theory of mediation based on classical literature and philosophy, using Hermes, Iris, and the Furies to map out three of the most prevalent modes of mediation today—mediation as exchange, as illumination, and as network. Then, Thacker goes boldly beyond Galloway’s classification scheme by examining the concept of excommunication through the secret link between the modern horror genre and medieval mysticism. Charting a trajectory of examples from H. P. Lovecraft to Meister Eckhart, Thacker explores those instances when one communicates or connects with the inaccessible, dubbing such modes of mediation “haunted” or “weird” to underscore their inaccessibility. Finally, Wark evokes the poetics of the infuriated swarm as a queer politics of heresy that deviates from both media theory and the traditional left. He posits a critical theory that celebrates heresy and that is distinct from those that now venerate Saint Paul. Reexamining commonplace definitions of media, mediation, and communication, _Excommunication_ offers a glimpse into the realm of the nonhuman to find a theory of mediation adequate to our present condition. (shrink)

Alexander R. Pruss examines a large family of paradoxes to do with infinity - ranging from deterministic supertasks to infinite lotteries and decision theory. Having identified their common structure, Pruss considers at length how these paradoxes can be resolved by embracing causal finitism.

We show that infinitesimal probabilities are much too small for modeling the individual outcome of a countably infinite fair lottery.

Digital and analog: What do these terms mean today? The use and meaning of such terms change through time. The analog, in particular, seems to go through various phases of popularity and disuse, its appeal pegged most frequently to nostalgic longings for nontechnical or romantic modes of art and culture. The definition of the digital vacillates as well, its precise definition often eclipsed by a kind of fever-pitched industrial bonanza around the latest technologies and the latest commercial ventures. One common (...) response to the question of the digital is to make reference to things like Twitter, Playstation, or computers in general. Here one might be correct, but only coincidentally, for the basic order of digitality (the digitality of digitality) has not yet been demonstrated through mere denotation. And the second question—the question of the analog—is harder still, with responses often also consisting of mere denotations of things: sound waves, the phonograph needle, magnetic tape, a sundial. At least denotation itself is analogical. This article will aim to define the analog explicitly and argue, perhaps counterintuitively, that the golden age of analog thinking was not a few decades past, prior to the wide-spread adoption of the computer. In fact, the fields of structuralism and poststructuralism that emerged in the middle to late twentieth century, concurrent with the deployment of the digital computer, were characteristically digital, what with their focus on the symbolic order and logical economies. If anything, the golden age of analog is happening today, all around us, as evidenced by the proliferation of characteristically analog concerns: sensation, materiality, experience, affect, ethics, and aesthetics. (shrink)

One of the problems that Bayesian regularity, the thesis that all contingent propositions should be given probabilities strictly between zero and one, faces is the possibility of random processes that randomly and uniformly choose a number between zero and one. According to classical probability theory, the probability that such a process picks a particular number in the range is zero, but of course any number in the range can indeed be picked. There is a solution to this particular problem on (...) the books: a measure that assigns the same infinitesimal probability to each number between zero and one. I will show that such a measure, while mathematically interesting, is pathological for use in confirmation theory, for the same reason that a measure that assigns an infinitesimal probability to each possible outcome in a countably infinite lottery is pathological. The pathology is that one can force someone to assign a probability within an infinitesimal of one to an unlikely event. (shrink)

Classical real-valued probabilities come at a philosophical cost: in many infinite situations, they assign the same probability value—namely, zero—to cases that are impossible as well as to cases that are possible. There are three non-classical approaches to probability that can avoid this drawback: full conditional probabilities, qualitative probabilities and hyperreal probabilities. These approaches have been criticized for failing to preserve intuitive symmetries that can be preserved by the classical probability framework, but there has not been a systematic study of the (...) conditions under which these symmetries can and cannot be preserved. This paper fills that gap by giving complete characterizations under which symmetries understood in a certain “strong” way can be preserved by these non-classical probabilities, as well as by offering some results to make it plausible that the strong notion of symmetry here is the right one. Philosophical implications are briefly discussed, but the main purpose of the paper is to offer technical results to help make further philosophical discussion more sophisticated. (shrink)

Introduction : the computer as a mode of mediation -- The unworkable interface -- Software and ideology -- Are some things unrepresentable? -- Disingenuous informatics -- Postscript : we are the gold farmers.

Some, notably Peter van Inwagen, in order to avoid problems with free will and omniscience, replace the condition that an omniscient being knows all true propositions with a version of the apparently weaker condition that an omniscient being knows all knowable true propositions. I shall show that the apparently weaker condition, when conjoined with uncontroversial claims and the logical closure of an omniscient being's knowledge, still yields the claim that an omniscient being knows all true propositions.

Clinical trials aim to minimise participant risk and generate new clinical knowledge for the wider population. Many military agencies are now investing efforts in pushing towards developing new treatments involving Brain-Computer Interfaces, Gene Therapy and Stem Cells interventions. These trials are targeting smaller disease groups, as such they give rise to novel participant risks of harms that are largely not accommodated by existing practice. This is of most concern with irreversible harms at early trial stages, where participants may forfeit any (...) future therapy, and in personalised medicine, where the individual participant assumes all of the trial risk. Given these new experimental interventions involve high risk of irreversible harms, how much risk should patients be exposed to when participating in experimental testing of innovative technologies? Designing clinical trials which better balance risk/benefit ratios for participants is crucial. The aim of this book chapter is to suggest a new stratified risk framework aimed at minimising the risk-benefit ratio to participants in clinical trials associated with high risk of irrevocable harms. We will argue it demands a higher-level of clinical data capture at earlier trial stages than predicated by current trial doctrine; it also requires publication of all trial data to minimise risk to participants of any future trial. (shrink)

We shall use Gödel’s Second Incompleteness Theorem to show that consistency is not possibility, and then argue that the argument does serious damage to some theories of modality where consistency plays a major but not exclusive role.

The strict dominance principle that a wager always paying better than another is rationally preferable is one of the least controversial principles in decision theory. I shall show that (given the Axiom of Choice) there is a contradiction between strict dominance and plausible isomorphism or symmetry conditions, by showing how in several natural cases one can construct isomorphic wagers one of which strictly dominates the other. In particular, I will show that there is a pair of wagers on the outcomes (...) of a uniform spinner which differ simply in where the zero degrees point of the spinner is defined to be but where one wager dominates the other. I shall also argue that someone who accepts Williamson’s famous argument that the probability of an infinite sequence of heads is zero should accept the symmetry conditions, and thus has reason to weaken the strict dominance principle, and I shall propose a restriction of the principle to “implementable” wagers. Our main result also has implications for social choice principles. (shrink)

Consider the regularity thesis that each possible event has non-zero probability. Hájek challenges this in two ways: there can be nonmeasurable events that have no probability at all and on a large enough sample space, some probabilities will have to be zero. But arguments for the existence of nonmeasurable events depend on the axiom of choice. We shall show that the existence of anything like regular probabilities is by itself enough to imply a weak version of AC sufficient to prove (...) the Banach–Tarski Paradox on the decomposition of a ball into two equally sized balls, and hence to show the existence of nonmeasurable events. This provides a powerful argument against unrestricted orthodox Bayesianism that works even without AC. A corollary of our formal result is that if every partial order extends to a total preorder while maintaining strict comparisons, then the Banach–Tarski Paradox holds. This yields an argument that incommensurability cannot be avoided in ambitious versions of decision theory. (shrink)

Let Mm k be the simply connected constant curvature space form of dimension m. • Mm 0 is Rm with euclidean metric • Mm k for k > 0 is an m-sphere of radius k−1/2 • Mm k for k < 0 is m dimensional hyperbolic space modelled on the m-ball of radius (−k)−1/2.

This chapter contains sections titled: Introduction The PSR Nonlocal CPs Toward a First Cause The Gap Problem Conclusions and Further Research References.

Scoring rules measure the accuracy or epistemic utility of a credence assignment. A significant literature uses plausible conditions on scoring rules on finite sample spaces to argue for both probabilism—the doctrine that credences ought to satisfy the axioms of probabilism—and for the optimality of Bayesian update as a response to evidence. I prove a number of formal results regarding scoring rules on infinite sample spaces that impact the extension of these arguments to infinite sample spaces. A common condition in the (...) arguments for probabilism and Bayesian update is strict propriety: that according to each probabilistic credence, the expected accuracy of any other credence is worse. Much of the discussion needs to divide depending on whether we require finite or countable additivity of our probabilities. I show that in a number of natural infinite finitely additive cases, there simply do not exist strictly proper scoring rules, and the prospects for arguments for probabilism and Bayesian update are limited. In many natural infinite countably additive cases, on the other hand, there do exist strictly proper scoring rules that are continuous on the probabilities, and which support arguments for Bayesian update, but which do not support arguments for probabilism. There may be more hope for accuracy-based arguments if we drop the assumption that scores are extended-real-valued. I sketch a framework for scoring rules whose values are nets of extended reals, and show the existence of a strictly proper net-valued scoring rules in all infinite cases, both for f.a. and c.a. probabilities. These can be used in an argument for Bayesian update, but it is not at present known what is to be said about probabilism in this case. (shrink)

The "Supplement" transmitted as the second book of "On the Soul" by Alexander of Aphrodisias is a collection of short texts on a wide range of topics from psychology, including the general hylomorphic account of soul and its faculties, and the theory of vision; questions in ethics ; and issues relating to responsibility, chance and fate. One of the texts in the collection, "On Intellect", had a major influence on medieval Arabic and Western thought, greater than that of (...) class='Hi'>Alexander's "On the Soul" itself. The treatises may all be by Alexander himself; certainly the majority of them are closely connected with his other works. Many of them, however, consist of collections of arguments on particular issues, collections which probably incorporate material from earlier in the history of the Peripatetic school. This translation is from a new edition of the Greek text based on a collation of all known manuscripts and comparison with medieval Arabic and Latin translations. (shrink)

          The production of a number of vaccines involves the use of cell-lines originally derived from fetuses directly aborted in the 1960s and 1970s. Such cell-lines, indeed sometimes the very same ones, are important to on-going research, including at Catholic institutions. The cells currently used are removed by a number of decades and by a significant number of cellular generations from the original cells. Moreover, the original cells extracted from the bodies (...) of the aborted fetuses were transformed to produce the cell lines, since otherwise they would be incapable of the kind of culturing that is required.           It is generally acknowledged by ethicists, including many Catholic ones generally considered to be orthodox, and by the U.S. bishops, that the use of the cell-lines in connection with the production of vaccines is morally permissible. It does not appear that there is a relevant qualitative difference between the use of the cell-lines in vaccines and in research. One might argue that there is certainty of benefit from a vaccine while the benefits of research are uncertain. However, in any given case of the administration of a vaccine to an individual, it is far from certain that such administration will be of benefit to that individual. After all, the individual might never come in contact with someone infected with the disease in question, particularly if the disease is now uncommon in the individual’s locale. Yet, it is morally certain that some of the administrations of the vaccine will be beneficial. This is parallel to the fact that while any one research project might not be beneficial, the history of biomedical research makes it extremely probable, indeed morally certain, that some project involving the use of such cell-lines will be beneficial. There may, of course, be quantitative difference between the cases—the probabilities and benefits may not be equal—but the difference does not seem to be a qualitative one. Therefore, if one accepts the use of the cell-lines in vaccines, one should accept the use in research in at least some conceivable and perhaps actual circumstances.           The main argument I am interested in in favor of the use of the cell-lines proceeds by first granting that the initial abortion and extraction of cells from the deceased fetus was morally gravely illicit. However, the connection between the currently used derived cells and the abortion and original derivation is sufficiently remote that the use becomes licit. Not all fruit of a poisoned tree is poisoned: it can be morally.... (shrink)

          Despite the fact that the strength of argument is clearly on the pro-life side—nobody except a handful of academics would question the grave wrongness of abortion were pregnancy never inconvenient—somehow ordinary intelligent people, like our students, often remain unconvinced. There are many reasons for this, of course. For instance, a number of students have had their children aborted while many know others who have had abortions, and one does not want (...) to condemn oneself or oneÂ’s friends. I am a philosopher, however, and so I will be interested in intellectual reasons, even though these subjective psychological ones are almost surely more important. Specifically, I will be interested in the fact that the ordinary person subscribes to a number of erroneous big-picture ethical beliefs, each of which, to a different degree, does something to block access to the pro-life arguments. I will not talk about all such erroneous beliefs and I would be grateful in the discussion for more examples.           I will talk about eight errors I have identified, largely through teaching. For each one, I will identify the error, show how it impacts the pro-life message and explain why it is tempting to most of us —there is, after all, something right about five of the errors. For each of these errors is one that we might ourselves be tempted by on occasion. I will then suggest some ways of refuting the error. In some cases, the mere identification of the error should do the trick, as these erroneous beliefs are often not explicitly identified by our interlocutors. My suggested refutations will not always be phrased in the way in which I would phrase them for didactic effectiveness: in this talk, I am mainly trying to convey ideas. (shrink)

The Principle of Sufficient Reason says that all contingent facts must have explanation. In this 2006 volume, which was the first on the topic in the English language in nearly half a century, Alexander Pruss examines the substantive philosophical issues raised by the Principle Reason. Discussing various forms of the PSR and selected historical episodes, from Parmenides, Leibnez, and Hume, Pruss defends the claim that every true contingent proposition must have an explanation against major objections, including Hume's imaginability argument (...) and Peter van Inwagen's argument that the PSR entails modal fatalism. Pruss also provides a number of positive arguments for the PSR, based on considerations as different as the metaphysics of existence, counterfactuals and modality, negative explanations, and the everyday applicability of the PSR. Moreover, Pruss shows how the PSR would advance the discussion in a number of disparate fields, including meta-ethics and the philosophy of mathematics. (shrink)

Cantor proved that no set has a bijection between itself and its power set. This is widely taken to have shown that there infinitely many sizes of infinite sets. The argument depends on the princip...

Scoring rules measure the deviation between a forecast, which assigns degrees of confidence to various events, and reality. Strictly proper scoring rules have the property that for any forecast, the mathematical expectation of the score of a forecast p by the lights of p is strictly better than the mathematical expectation of any other forecast q by the lights of p. Forecasts need not satisfy the axioms of the probability calculus, but Predd et al. [9] have shown that given a (...) finite sample space and any strictly proper additive and continuous scoring rule, the score for any forecast that does not satisfy the axioms of probability is strictly dominated by the score for some probabilistically consistent forecast. Recently, this result has been extended to non-additive continuous scoring rules. In this paper, a condition weaker than continuity is given that suffices for the result, and the condition is proved to be optimal. (shrink)

This article focuses on the question of whether the doctrine of the real presence of Christ's body and blood, and likewise the doctrine of the real absence of bread and wine, can be defended philosophically. It argues for an affirmative answer, and does so by considering a variety of metaphysical models, including that of Aquinas. It will appear, thus, that transubstantiation is a philosophical possibility. If it is possible for two substances to be in the same place at the same (...) time, consubstantiation will be a philosophical possibility as well. Of course, the question of actuality is a theological one. (shrink)

I offer examples showing that, pace G. E. Moore, it is possible to assert ?Q and I don't believe that Q? sincerely, truly, and without any absurdity. The examples also refute the following principles: (a) justification to assert p entails justification to assert that one believes p (Gareth Evans); (b) the sincerity condition on assertion is that one believes what one says (John Searle); and (c) to assert (to someone) something that one believes to be false is to lie (Don (...) Fallis). (shrink)

“We are always already thrown into concrete factual circumstances, facing possibilities that we need to come to grips with. By choosing some we exclude others, thus making them no longer possible. What we are thrown into is the past and present, and the possibilities loom ahead of us, though we may try to turn our back on them. The future is the home of the possibilities while the present and past define the circumstances in which we make our choices, circumstances (...) we can no longer affect.” Or so we might say, and there is something right about this way of talking. Our basic conception of ourselves as agents is radically temporally asymmetric. And so we adopt asymmetric metaphors for time: we talk of time having a direction, as flowing from the future, through the present, to the past, closing possibilities that once were open; or perhaps we think of time as a measure of our own movement from the past to the future. Such metaphors are of very limited value. To think of time as having a direction spatializes time; to think of time as flowing or of ourselves as moving in time is to invite the question of how fast it is flowing or how fast we are moving (at one second per second, perhaps, one might quip, thereby inviting the question of why it cannot flow at two seconds per second instead).             Although the metaphors are flawed, we need to come to grips with an inextricable asymmetry between past and future in them. As agents, we deliberate about the future, while the past we can only bewail or rejoice over. We know the future not only through theoretical knowledge, but also through the intentional knowledge that the agent has of the effects she intends to produce. We think a life that started in years of sorrow but ended in great joy is preferable to one that started with a great joy and ended in years of sorrow.. (shrink)

Gödel's ontological argument is a formal argument for a being defined in terms of the concept of a positive property. I shall defend several versions of Gödel's argument, using weaker premises than Anderson's (1990) version, and avoiding Oppy's (1996 and 2000) parody refutations.

Necessary Existence breaks ground on one of the deepest questions anyone ever asks: why is there anything? Pruss and Rasmussen present an original defence of the hypothesis that there is a necessarily existing being capable of providing an ultimate foundation for the existence of all things.

This important philosophical reflection on love and sexuality from a broadly Christian perspective is aimed at philosophers, theologians, and educated Christian readers. Alexander R. Pruss focuses on foundational questions on the nature of romantic love and on controversial questions in sexual ethics on the basis of the fundamental idea that romantic love pursues union of two persons as one body. _One Body_ begins with an account, inspired by St. Thomas Aquinas, of the general nature of love as constituted by (...) components of goodwill, appreciation, and unitiveness. Different forms of love, such as parental, collegial, filial, friendly, fraternal, or romantic, Pruss argues, differ primarily not in terms of goodwill or appreciation but in terms of the kind of union that is sought. Pruss examines romantic love as distinguished from other kinds of love by a focus on a particular kind of union, a deep union as one body achieved through the joint biological striving of the sort involved in reproduction. Taking the account of the union that romantic love seeks as a foundation, the book considers the nature of marriage and applies its account to controversial ethical questions, such as the connection between love, sex, and commitment and the moral issues involving contraception, same-sex activity, and reproductive technology. With philosophical rigor and sophistication, Pruss provides carefully argued answers to controversial questions in Christian sexual ethics. "This is a terrific—really quite extraordinary—work of scholarship. It is quite simply the best work on Christian sexual ethics that I have seen. It will become the text that anyone who ventures into the field will have to grapple with—a kind of touchstone. Moreover, it is filled with arguments with which even secular writers on sexual morality will have to engage and come to terms." —_Robert P. George, Princeton University __ "_One Body_ is an excellent piece of philosophical-theological reflection on the nature of sexuality and marriage. This book has the potential to become a standard go-to text for professors and students working on sex ethics issues, whether in philosophy or theology, both for the richness of its arguments, and the scope of its coverage of cases. " — Christopher Tollefsen, University of South Carolina_ "Alexander Pruss here develops sound and humane answers to the whole range of main questions about human sexual and reproductive choices. His principal argument for the key answers is very different from the one I have articulated over the past fifteen years. But his argumentation is at every point attractively direct, careful, energetic in framing and responding to objections, and admirably attentive to realities and the human goods at stake." —_John Finnis, University of Oxford _. (shrink)

Plantinga’s Free Will Defense is an argument that, possibly, God cannot actualize a world containing significant creaturely free will and no wrongdoings. I will argue that if standard Molinism is true, there is a pair of worlds w1 and w2 each of which contains a significantly free creature who never chooses wrongly, and that are such that, necessarily, at least one of these worlds is a world that God can actualize.

I defend a simple argument for why considerations of epistemic probability should lead us away from Open Future views according to which claims about the future are never true.

Assuming S₅, the main controversial premise in modal ontological arguments is the possibility premise, such as that possibly a maximally great being exists. I shall offer a new way of arguing that the possibility premise is probably true.

SpinozaÂ’s God is a being with infinite attributes, each of which expresses infinite essence. Does this mean that God has infinitely many attributes, each of which expresses infinite essence, or does God simply have attributes, each of which is infinite and expresses infinite essence? SpinozaÂ’s argumentation in Letter 9 and the Scholium to Prop. I.10 clearly indicates that it is not just each individual attribute that is infinite, but there are in some sense infinitely many of them. This would seem (...) to settle the issue, except that Spinoza never talks of more than two attributes, Extension.. (shrink)

It is often loosely said that Ramsey The foundations of mathematics and other logical essays, Routledge and Kegan Paul, Abingdon, pp 156–198, 1931) and de Finetti Studies in subjective probability, Kreiger Publishing, Huntington, 1937) proved that if your credences are inconsistent, then you will be willing to accept a Dutch Book, a wager portfolio that is sure to result in a loss. Of course, their theorems are true, but the claim about acceptance of Dutch Books assumes a particular method of (...) calculating expected utilities given the inconsistent credences. I will argue that there are better ways of calculating expected utilities given a potentially inconsistent credence assignment, and that for a large class of credences—a class that includes many inconsistent examples—these ways are immune to Dutch Books and single-shot domination failures. The crucial move is to replace Finite Additivity with Monotonicity, then \\le P\)) and then calculate expected utilities for positive U via the formula \\, dy\). This shows that Dutch Book arguments for probabilism, the thesis that one’s credences should be consistent, do not establish their conclusion. Finally, I will consider a modified argument based on multi-step domination failure that does better, but nonetheless is not as compelling as the Dutch Book arguments appeared to be. (shrink)

This paper argues that if creatures are to have significant free will, then God's essential omni-benevolence and essential omnipotence cannot logically preclude Him from creating a world containing a moral evil. The paper maintains that this traditional conclusion does not need to rest on reliance on subjunctive conditionals of free will. It can be grounded in several independent ways based on premises that many will accept.

According to David Lewis's extreme modal realism, every waythat a world could be is a way that some concretely existingphysical world really is. But if the worlds are physicalentities, then there should be a set of all worlds, whereasI show that in fact the collection of all possible worlds is nota set. The latter conclusion remains true even outside of theLewisian framework.

The classical principle of double effect offers permissibility conditions for actions foreseen to lead to evil outcomes. I shall argue that certain kinds of closeness cases, as well as general heuristic considerations about the order of explanation, lead us to replace the intensional concept of intention with the extensional concept of accomplishment in double effect.

Substantive theories of diachronic identity have been offered for different kinds of entities. The kind of entity whose diachronic identity has received the most attention in the literature is person, where such theories as the psychological theory, the body theory, the soul theory, and animalism have been defended. At the same time, Wittgenstein's remark that ?to say of two things that they are identical is nonsense, and to say of one thing that it is identical with itself is to say (...) nothing at all? suggests that the idea of further analysing identity is mistaken at root. I shall offer a simple, deflationary theory that reduces diachronic identity to quantification, synchronic identity and existence at a spacetime location (or at a time, for non-spatial entities). On logical grounds, the theory is guaranteed to have no counterexamples. Because the theory is guaranteed to have no counterexamples, all the imaginative examples offered as intuitive support for theories of personal identity are going to be either incorrect or compatible with the theory. I shall argue that the deflationary theory is preferable on simplicity grounds to typical substantive theories, and that various problems that are commonly thought to concern diachronic identity are better seen as about something else. (shrink)

Popper functions allow one to take conditional probabilities as primitive instead of deriving them from unconditional probabilities via the ratio formula P=P/P. A major advantage of this approach is it allows one to condition on events of zero probability. I will show that under plausible symmetry conditions, Popper functions often fail to do what they were supposed to do. For instance, suppose we want to define the Popper function for an isometrically invariant case in two dimensions and hence require the (...) Popper function to be rotationally invariant and defined on pairs of sets from some algebra that contains at least all countable subsets. Then it turns out that the Popper function trivializes for all finite sets: P=1 for all A ) if B is finite. Likewise, Popper functions invariant under all sequence reflections can’t be defined in a way that models a bidirectionally infinite sequence of independent coin tosses. (shrink)

I offer a reading of my book One Body on Christian sexual ethics as an application of Inference to Best Explanation based on theological and philosophical data.